英文缩写：LTL
英文全称：Linear Temporal Logic
中文释义：线性时间逻辑
中文拼音：xiàn xìng shí jiān luó jí
所属分类：Academic & Science